\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{1}{Introduction: the origin of words}}{7}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{sec:WDWGW}{{1}{7}{Introduction: the origin of words\relax }{chapter.1}{}}
\newlabel{example1}{{1.0.1}{7}{Introduction: the origin of words\relax }{theorem.1.0.1}{}}
\newlabel{example2}{{1.0.2}{7}{Introduction: the origin of words\relax }{theorem.1.0.2}{}}
\newlabel{example3}{{1.0.3}{7}{Introduction: the origin of words\relax }{theorem.1.0.3}{}}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{2}{Main Definitions}}{9}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{main definitions}{{2}{9}{Main Definitions\relax }{chapter.2}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2.1}{Words}}{9}{section.2.1}}
\newlabel{words}{{2.1}{9}{Words\relax }{section.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1.1}{The free semigroup}}{9}{subsection.2.1.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1.2}{Orders on words}}{10}{subsection.2.1.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1.3}{Commuting words}}{10}{subsection.2.1.3}}
\newlabel{wordscommute}{{2.1.2}{10}{Commuting words\relax }{theorem.2.1.2}{}}
\newlabel{powers}{{2.1.4}{10}{Commuting words\relax }{theorem.2.1.4}{}}
\citation{FW}
\newlabel{cyclicshift}{{2.1.5}{11}{Commuting words\relax }{theorem.2.1.5}{}}
\@writefile{brf}{\backcite{FW}{{11}{2.1.3}{theorem.2.1.5}}}
\newlabel{finewilf}{{2.1.6}{11}{Commuting words\relax }{theorem.2.1.6}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2.2}{Graphs}}{12}{section.2.2}}
\newlabel{sec:graphs}{{2.2}{12}{Graphs\relax }{section.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.1}{Basic definitions}}{12}{subsection.2.2.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.2}{Automata}}{12}{subsection.2.2.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces A graph and two of its colorings}}{12}{figure.2.1}}
\newlabel{fig:two colorings}{{2.1}{12}{A graph and two of its colorings\relax }{figure.2.1}{}}
\newlabel{ex:regular}{{2.2.2}{13}{Automata\relax }{theorem.2.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.3}{Graphs in the sense of Serre}}{13}{subsection.2.2.3}}
\newlabel{ss:iaf}{{2.2.4}{13}{Inverse automata and foldings\relax }{subsection.2.2.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.4}{Inverse automata and foldings}}{13}{subsection.2.2.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2.5}{Mealy automata}}{13}{subsection.2.2.5}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2.3}{Universal Algebra}}{13}{section.2.3}}
\newlabel{1.2}{{2.3}{13}{Universal Algebra\relax }{section.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.1}{Basic definitions}}{13}{subsection.2.3.1}}
\citation{MHall}
\citation{CP}
\citation{CP}
\@writefile{brf}{\backcite{MHall}{{15}{2.3.1}{subsection.2.3.1}}}
\@writefile{brf}{\backcite{CP}{{15}{2.3.1}{subsection.2.3.1}}}
\@writefile{brf}{\backcite{CP}{{15}{2.3.1}{subsection.2.3.1}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.2}{Free algebras in varieties}}{15}{subsection.2.3.2}}
\citation{Malcev}
\citation{Malcev}
\citation{Malcev}
\@writefile{brf}{\backcite{Malcev}{{16}{2.3.2}{subsection.2.3.2}}}
\newlabel{ex:freerel}{{2.3.1}{16}{Free algebras in varieties\relax }{theorem.2.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.3}{The Birkhoff theorem}}{16}{subsection.2.3.3}}
\newlabel{th:birk}{{2.3.2}{16}{The Birkhoff theorem\relax }{theorem.2.3.2}{}}
\@writefile{brf}{\backcite{Malcev}{{16}{2.3.2}{theorem.2.3.2}}}
\@writefile{brf}{\backcite{Malcev}{{16}{2.3.3}{theorem.2.3.2}}}
\newlabel{eq:birk}{{2.3.1}{16}{The Birkhoff theorem\relax }{equation.2.3.1}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.4}{Locally finite varieties}}{16}{subsection.2.3.4}}
\newlabel{th:12}{{2.3.3}{16}{Locally finite varieties\relax }{Item.2}{}}
\newlabel{ex:12}{{2.3.4}{17}{Locally finite varieties\relax }{theorem.2.3.4}{}}
\citation{Burnside}
\citation{Adi}
\citation{OaPo64}
\citation{Ne67}
\citation{Lv73}
\citation{Kruse}
\citation{BO1}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.5}{The Burnside problem for varieties of algebras}}{18}{subsection.2.3.5}}
\@writefile{brf}{\backcite{Burnside}{{18}{2.3.5}{subsection.2.3.5}}}
\@writefile{brf}{\backcite{Adi}{{18}{2.3.5}{subsection.2.3.5}}}
\newlabel{ss:fbv}{{2.3.6}{18}{Finitely based and Cross varieties\relax }{subsection.2.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.6}{Finitely based and Cross varieties}}{18}{subsection.2.3.6}}
\newlabel{t:OP}{{2.3.5}{18}{Finitely based and Cross varieties\relax }{theorem.2.3.5}{}}
\@writefile{brf}{\backcite{OaPo64,Ne67}{{18}{2.3.5}{theorem.2.3.5}}}
\@writefile{brf}{\backcite{Lv73}{{18}{2.3.5}{theorem.2.3.5}}}
\@writefile{brf}{\backcite{Kruse}{{18}{2.3.5}{theorem.2.3.5}}}
\@writefile{brf}{\backcite{BO1}{{18}{2.3.6}{theorem.2.3.5}}}
\newlabel{lemma:critical generators}{{2.3.6}{18}{Finitely based and Cross varieties\relax }{theorem.2.3.6}{}}
\citation{McK}
\newlabel{prop:Cross varieties}{{2.3.7}{19}{Finitely based and Cross varieties\relax }{theorem.2.3.7}{}}
\newlabel{eq:chain}{{2.3.2}{19}{Finitely based and Cross varieties\relax }{equation.2.3.2}{}}
\newlabel{t:OP1}{{2.3.8}{19}{Finitely based and Cross varieties\relax }{theorem.2.3.8}{}}
\newlabel{rk:OP}{{2.3.9}{19}{Finitely based and Cross varieties\relax }{theorem.2.3.9}{}}
\@writefile{brf}{\backcite{McK}{{19}{2.3.6}{theorem.2.3.9}}}
\newlabel{ss:infbfa}{{2.3.7}{19}{Inherently non-finitely based finite algebras: the link between finite and infinite\relax }{subsection.2.3.7}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3.7}{Inherently non-finitely based finite algebras: the link between finite and infinite}}{19}{subsection.2.3.7}}
\citation{McNSh}
\citation{McK}
\citation{Shal}
\newlabel{th:infba}{{2.3.10}{20}{Inherently non-finitely based finite algebras: the link between finite and infinite\relax }{theorem.2.3.10}{}}
\@writefile{brf}{\backcite{McNSh}{{20}{2.3.7}{theorem.2.3.11}}}
\@writefile{brf}{\backcite{McK}{{20}{2.3.7}{theorem.2.3.11}}}
\@writefile{brf}{\backcite{Shal}{{20}{2.3.12}{theorem.2.3.12}}}
\citation{BMW}
\citation{Murskii}
\citation{Lyndon}
\citation{BMW1}
\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces Four graphs}}{21}{figure.2.2}}
\newlabel{f:mcn}{{2.2}{21}{Four graphs\relax }{figure.2.2}{}}
\newlabel{t:BMW}{{2.3.13}{21}{Inherently non-finitely based finite algebras: the link between finite and infinite\relax }{theorem.2.3.13}{}}
\@writefile{brf}{\backcite{BMW}{{21}{2.3.13}{theorem.2.3.13}}}
\@writefile{brf}{\backcite{Murskii}{{21}{2.3.7}{Item.5}}}
\@writefile{brf}{\backcite{Lyndon}{{21}{2.3.7}{Item.5}}}
\newlabel{t:BMW1}{{2.3.14}{21}{Inherently non-finitely based finite algebras: the link between finite and infinite\relax }{theorem.2.3.14}{}}
\@writefile{brf}{\backcite{BMW1}{{21}{2.3.14}{theorem.2.3.14}}}
\newlabel{eq:beta}{{2.3.3}{22}{Inherently non-finitely based finite algebras: the link between finite and infinite\relax }{equation.2.3.3}{}}
\citation{BMW1}
\citation{Schwarz}
\@writefile{brf}{\backcite{BMW1}{{23}{2.3.7}{equation.2.3.3}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2.4}{Growth of algebras}}{23}{section.2.4}}
\newlabel{s:goa}{{2.4}{23}{Growth of algebras\relax }{section.2.4}{}}
\@writefile{brf}{\backcite{Schwarz}{{23}{2.4}{section.2.4}}}
\citation{GH}
\newlabel{ex:grfuneq}{{2.4.1}{24}{Growth of algebras\relax }{theorem.2.4.1}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2.5}{Symbolic Dynamics}}{24}{section.2.5}}
\newlabel{sec:symbolic dynamics}{{2.5}{24}{Symbolic Dynamics\relax }{section.2.5}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.5.1}{Basic definitions}}{24}{subsection.2.5.1}}
\@writefile{brf}{\backcite{GH}{{24}{2.5.1}{theorem.2.5.1}}}
\newlabel{th:poi}{{2.5.1}{24}{Basic definitions\relax }{theorem.2.5.1}{}}
\newlabel{ss:s}{{2.5.2}{25}{Subshifts\relax }{subsection.2.5.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.5.2}{Subshifts}}{25}{subsection.2.5.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.3}{\ignorespaces The golden mean automaton}}{25}{figure.2.3}}
\newlabel{golden mean automaton}{{2.3}{25}{The golden mean automaton\relax }{figure.2.3}{}}
\newlabel{exclusion shift}{{2.5.3}{26}{Subshifts\relax }{theorem.2.5.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.4}{\ignorespaces A $k$-block map}}{26}{figure.2.4}}
\newlabel{fig:block map}{{2.4}{26}{A $k$-block map\relax }{figure.2.4}{}}
\citation{ChR36}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2.6}{Rewriting systems}}{27}{section.2.6}}
\newlabel{rewriting}{{2.6}{27}{Rewriting systems\relax }{section.2.6}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.6.1}{The main definitions}}{27}{subsection.2.6.1}}
\newlabel{squareroot}{{2.6.1}{27}{The main definitions\relax }{theorem.2.6.1}{}}
\newlabel{ss:conf}{{2.6.2}{27}{Confluence\relax }{subsection.2.6.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.6.2}{Confluence}}{27}{subsection.2.6.2}}
\@writefile{brf}{\backcite{ChR36}{{27}{2.6.2}{figure.2.5}}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.5}{\ignorespaces }}{28}{figure.2.5}}
\newlabel{fig:figone}{{2.5}{28}{\relax }{figure.2.5}{}}
\newlabel{ex:numbers}{{2.6.4}{28}{Confluence\relax }{theorem.2.6.4}{}}
\newlabel{ex:matrices}{{2.6.6}{28}{Confluence\relax }{theorem.2.6.6}{}}
\newlabel{rewr1}{{2.6.7}{28}{Confluence\relax }{theorem.2.6.7}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.6}{\ignorespaces }}{28}{figure.2.6}}
\newlabel{fig:peaks}{{2.6}{28}{\relax }{figure.2.6}{}}
\citation{New43}
\@writefile{lof}{\contentsline {figure}{\numberline {2.7}{\ignorespaces }}{29}{figure.2.7}}
\newlabel{fig:fig3}{{2.7}{29}{\relax }{figure.2.7}{}}
\@writefile{brf}{\backcite{New43}{{29}{2.6.9}{theorem.2.6.9}}}
\newlabel{new}{{2.6.9}{29}{Confluence\relax }{theorem.2.6.9}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.8}{\ignorespaces }}{30}{figure.2.8}}
\newlabel{fig:fig4}{{2.8}{30}{\relax }{figure.2.8}{}}
\newlabel{commutative}{{2.6.11}{30}{Confluence\relax }{theorem.2.6.11}{}}
\newlabel{ex:ia}{{2.6.12}{30}{Confluence\relax }{theorem.2.6.12}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.6.3}{What if a rewriting system is not confluent? The art of Knuth-Bendix}}{30}{subsection.2.6.3}}
\newlabel{ss:sr}{{2.6.4}{31}{String rewriting\relax }{subsection.2.6.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.6.4}{String rewriting}}{31}{subsection.2.6.4}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.9}{\ignorespaces }}{32}{figure.2.9}}
\newlabel{fig:fig5}{{2.9}{32}{\relax }{figure.2.9}{}}
\newlabel{eq}{{2.6.1}{32}{String rewriting\relax }{equation.2.6.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.10}{\ignorespaces }}{32}{figure.2.10}}
\newlabel{fig:fig6}{{2.10}{32}{\relax }{figure.2.10}{}}
\newlabel{commutative2}{{2.6.14}{32}{String rewriting\relax }{theorem.2.6.14}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.11}{\ignorespaces }}{33}{figure.2.11}}
\newlabel{fig:fig7}{{2.11}{33}{\relax }{figure.2.11}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.12}{\ignorespaces }}{33}{figure.2.12}}
\newlabel{fig:fig8}{{2.12}{33}{\relax }{figure.2.12}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2.7}{Presentations of semigroups}}{33}{section.2.7}}
\newlabel{srssm}{{2.7}{33}{Presentations of semigroups\relax }{section.2.7}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7.1}{Semigroups and monoids: basic definitions}}{33}{subsection.2.7.1}}
\newlabel{inverse}{{2.7.1}{34}{Semigroups and monoids: basic definitions\relax }{theorem.2.7.1}{}}
\newlabel{ex4}{{2.7.2}{34}{Semigroups and monoids: basic definitions\relax }{theorem.2.7.2}{}}
\newlabel{subcyclic}{{2.7.3}{34}{Semigroups and monoids: basic definitions\relax }{theorem.2.7.3}{}}
\newlabel{cyclic1}{{2.7.4}{34}{Semigroups and monoids: basic definitions\relax }{theorem.2.7.4}{}}
\newlabel{Brandt}{{2.7.5}{34}{Semigroups and monoids: basic definitions\relax }{theorem.2.7.5}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7.2}{Congruences, ideals and quotient semigroups}}{35}{subsection.2.7.2}}
\newlabel{cyc0}{{2.7.7}{35}{Congruences, ideals and quotient semigroups\relax }{theorem.2.7.7}{}}
\newlabel{ex:cyc1}{{2.7.8}{35}{Congruences, ideals and quotient semigroups\relax }{theorem.2.7.8}{}}
\newlabel{ideal}{{2.7.11}{35}{Congruences, ideals and quotient semigroups\relax }{theorem.2.7.11}{}}
\newlabel{ideal1}{{2.7.12}{35}{Congruences, ideals and quotient semigroups\relax }{theorem.2.7.12}{}}
\newlabel{ideals}{{2.7.13}{35}{Congruences, ideals and quotient semigroups\relax }{theorem.2.7.13}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7.3}{String rewriting and presentations}}{35}{subsection.2.7.3}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.13}{\ignorespaces }}{36}{figure.2.13}}
\newlabel{fig:fig9}{{2.13}{36}{\relax }{figure.2.13}{}}
\newlabel{presentation}{{2.7.14}{36}{String rewriting and presentations\relax }{theorem.2.7.14}{}}
\newlabel{commutative3}{{2.7.15}{36}{String rewriting and presentations\relax }{theorem.2.7.15}{}}
\newlabel{exer:dihedral}{{2.7.18}{37}{String rewriting and presentations\relax }{theorem.2.7.18}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7.4}{The free group}}{37}{subsection.2.7.4}}
\newlabel{groupwordscommute}{{2.7.20}{37}{The free group\relax }{theorem.2.7.20}{}}
\newlabel{cor:free}{{2.7.21}{37}{The free group\relax }{theorem.2.7.21}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7.5}{The growth function, growth series and Church-Rosser presentations}}{37}{subsection.2.7.5}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.14}{\ignorespaces The horizontal line is the word $w$.}}{38}{figure.2.14}}
\newlabel{fig:grig1}{{2.14}{38}{The horizontal line is the word $w$}{figure.2.14}{}}
\newlabel{ex:grig1}{{2.7.25}{38}{The growth function, growth series and Church-Rosser presentations\relax }{theorem.2.7.25}{}}
\newlabel{th:grig1}{{2.7.26}{38}{The growth function, growth series and Church-Rosser presentations\relax }{theorem.2.7.26}{}}
\newlabel{eq:grig1}{{2.7.1}{38}{The growth function, growth series and Church-Rosser presentations\relax }{equation.2.7.1}{}}
\newlabel{eq:grig5}{{2.7.2}{38}{The growth function, growth series and Church-Rosser presentations\relax }{equation.2.7.2}{}}
\newlabel{eq:grig6}{{2.7.3}{38}{The growth function, growth series and Church-Rosser presentations\relax }{equation.2.7.3}{}}
\newlabel{ex:grig7}{{2.7.28}{39}{The growth function, growth series and Church-Rosser presentations\relax }{theorem.2.7.28}{}}
\newlabel{ss:cayley}{{2.7.6}{39}{The Cayley graphs\relax }{subsection.2.7.6}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7.6}{The Cayley graphs}}{39}{subsection.2.7.6}}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{3}{Synchronizing Automata and Road Coloring}}{41}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap:synchronizing automata and road coloring}{{3}{41}{Synchronizing Automata and Road Coloring\relax }{chapter.3}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3.1}{Complete Automata}}{41}{section.3.1}}
\newlabel{sec:complete automata}{{3.1}{41}{Complete Automata\relax }{section.3.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces A congruence and the corresponding quotient automaton}}{41}{figure.3.1}}
\newlabel{fig:quotient automaton}{{3.1}{41}{A congruence and the corresponding quotient automaton\relax }{figure.3.1}{}}
\newlabel{ee:Cayley}{{3.1.1}{41}{Complete Automata\relax }{theorem.3.1.1}{}}
\newlabel{ex:act}{{3.1.2}{41}{Complete Automata\relax }{theorem.3.1.2}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3.2}{Synchronizing Automata}}{41}{section.3.2}}
\newlabel{sec:synchronizing automata}{{3.2}{41}{Synchronizing Automata\relax }{section.3.2}{}}
\citation{Moore:1956}
\citation{Moore:1956}
\citation{Ginsburg:1958}
\citation{Sandberg:2005}
\citation{Berstel&Perrin&Reutenauer:2009}
\citation{Volkov:2008}
\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces The automaton $\@mathcal {C}_4$}}{42}{figure.3.2}}
\newlabel{fig:C4}{{3.2}{42}{The automaton $\mathcal {C}_4$\relax }{figure.3.2}{}}
\@writefile{brf}{\backcite{Moore:1956}{{42}{3.2}{theorem.3.2.1}}}
\@writefile{brf}{\backcite{Moore:1956}{{42}{3.2}{theorem.3.2.1}}}
\@writefile{brf}{\backcite{Ginsburg:1958}{{42}{3.2}{theorem.3.2.1}}}
\@writefile{brf}{\backcite{Sandberg:2005}{{42}{3.2}{theorem.3.2.1}}}
\@writefile{brf}{\backcite{Berstel&Perrin&Reutenauer:2009}{{42}{3.2}{theorem.3.2.1}}}
\@writefile{brf}{\backcite{Volkov:2008}{{42}{3.2}{theorem.3.2.1}}}
\citation{Dekking:1978}
\citation{PytheasFogg:2002}
\citation{Cerny:1964}
\@writefile{lof}{\contentsline {figure}{\numberline {3.3}{\ignorespaces A substitution satisfying the coincidence condition}}{43}{figure.3.3}}
\newlabel{fig:substituion}{{3.3}{43}{A substitution satisfying the coincidence condition\relax }{figure.3.3}{}}
\@writefile{brf}{\backcite{Dekking:1978}{{43}{3.2}{figure.3.3}}}
\@writefile{brf}{\backcite{PytheasFogg:2002}{{43}{3.2}{figure.3.3}}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.4}{\ignorespaces The automaton induced by the substitution\\ $0\DOTSB \mapstochar \rightarrow 11,\ 1\DOTSB \mapstochar \rightarrow 12,\ 2\DOTSB \mapstochar \rightarrow 20$}}{43}{figure.3.4}}
\newlabel{fig:C3}{{3.4}{43}{The automaton induced by the substitution\protect \\ $0\mapsto 11,\ 1\mapsto 12,\ 2\mapsto 20$\relax }{figure.3.4}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3.3}{The \v {C}ern\'{y} conjecture}}{43}{section.3.3}}
\newlabel{sec:Cerny conjecture}{{3.3}{43}{The \v {C}ern\'{y} conjecture\relax }{section.3.3}{}}
\@writefile{brf}{\backcite{Cerny:1964}{{43}{3.3}{section.3.3}}}
\citation{Cerny:1964}
\citation{Ananichev&Gusev&Volkov:2010}
\citation{Wielandt:1950}
\@writefile{lof}{\contentsline {figure}{\numberline {3.5}{\ignorespaces The automaton $\@mathcal {C}_n$ and the automaton $\@mathcal {W}_n$ induced by the actions of $b$ and $c=ab$}}{44}{figure.3.5}}
\newlabel{fig:cerny-n}{{3.5}{44}{The automaton $\mathcal {C}_n$ and the automaton $\mathcal {W}_n$ induced by the actions of $b$ and $c=ab$\relax }{figure.3.5}{}}
\newlabel{prop:cerny}{{3.3.1}{44}{The \v {C}ern\'{y} conjecture\relax }{theorem.3.3.1}{}}
\@writefile{brf}{\backcite{Cerny:1964}{{44}{3.3.1}{theorem.3.3.1}}}
\@writefile{brf}{\backcite{Ananichev&Gusev&Volkov:2010}{{44}{3.3}{theorem.3.3.1}}}
\@writefile{brf}{\backcite{Wielandt:1950}{{44}{3.3}{theorem.3.3.1}}}
\citation{RamirezAlfonsin:2005}
\citation{Cerny:1964}
\citation{Starke:1966}
\citation{Cerny:1964}
\citation{Cerny&Piricka&Rosenauerova:1971}
\citation{Pin:1983}
\citation{Frankl:1982}
\newlabel{lemma:sylvester}{{3.3.2}{45}{The \v {C}ern\'{y} conjecture\relax }{theorem.3.3.2}{}}
\@writefile{brf}{\backcite{RamirezAlfonsin:2005}{{45}{3.3.2}{theorem.3.3.2}}}
\@writefile{brf}{\backcite{Cerny:1964}{{45}{3.3}{theorem.3.3.3}}}
\@writefile{brf}{\backcite{Starke:1966}{{45}{3.3}{theorem.3.3.3}}}
\@writefile{brf}{\backcite{Cerny:1964}{{45}{3.3}{theorem.3.3.3}}}
\@writefile{brf}{\backcite{Cerny&Piricka&Rosenauerova:1971}{{45}{3.3}{theorem.3.3.3}}}
\@writefile{brf}{\backcite{Pin:1983}{{45}{3.3}{theorem.3.3.3}}}
\@writefile{brf}{\backcite{Frankl:1982}{{45}{3.3}{theorem.3.3.3}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3.4}{The Road Coloring Problem}}{45}{section.3.4}}
\newlabel{sec:rcp}{{3.4}{45}{The Road Coloring Problem\relax }{section.3.4}{}}
\citation{Adler&Goodwyn&Weiss:1977}
\citation{Adler&Weiss:1970}
\citation{Adler&Goodwyn&Weiss:1977}
\@writefile{brf}{\backcite{Adler&Goodwyn&Weiss:1977}{{46}{3.4}{section.3.4}}}
\@writefile{brf}{\backcite{Adler&Weiss:1970}{{46}{3.4}{section.3.4}}}
\@writefile{brf}{\backcite{Adler&Goodwyn&Weiss:1977}{{46}{3.4}{section.3.4}}}
\newlabel{examp:totalsync}{{3.4.1}{46}{The Road Coloring Problem\relax }{theorem.3.4.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.6}{\ignorespaces Graph admitting a synchronizing coloring}}{46}{figure.3.6}}
\newlabel{fig:gusev}{{3.6}{46}{Graph admitting a synchronizing coloring\relax }{figure.3.6}{}}
\citation{Adler&Weiss:1970}
\citation{Adler&Goodwyn&Weiss:1977}
\citation{Adler&Goodwyn&Weiss:1977}
\citation{Adler&Goodwyn&Weiss:1977}
\citation{Trahtman:2009}
\citation{Culik&Karhumaki&Kari:2002}
\@writefile{brf}{\backcite{Adler&Weiss:1970,Adler&Goodwyn&Weiss:1977}{{47}{3.4}{theorem.3.4.3}}}
\@writefile{brf}{\backcite{Adler&Goodwyn&Weiss:1977}{{47}{3.4}{theorem.3.4.3}}}
\newlabel{prop:primitivity}{{3.4.4}{47}{The Road Coloring Problem\relax }{theorem.3.4.4}{}}
\@writefile{brf}{\backcite{Adler&Goodwyn&Weiss:1977}{{47}{3.4}{theorem.3.4.4}}}
\@writefile{brf}{\backcite{Trahtman:2009}{{47}{3.4}{theorem.3.4.4}}}
\@writefile{brf}{\backcite{Culik&Karhumaki&Kari:2002}{{47}{3.4}{theorem.3.4.4}}}
\citation{Culik&Karhumaki&Kari:2002}
\@writefile{brf}{\backcite{Culik&Karhumaki&Kari:2002}{{48}{3.4}{theorem.3.4.4}}}
\newlabel{prop:ckk}{{3.4.5}{48}{The Road Coloring Problem\relax }{theorem.3.4.5}{}}
\newlabel{lemma:maximal incompressible}{{3.4.6}{49}{The Road Coloring Problem\relax }{theorem.3.4.6}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.7}{\ignorespaces Configuration in the proof of Lemma\nonbreakingspace \ref  {lemma:maximal incompressible}}}{49}{figure.3.7}}
\newlabel{fig:lemma on cliques}{{3.7}{49}{Configuration in the proof of Lemma~\ref {lemma:maximal incompressible}\relax }{figure.3.7}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.8}{\ignorespaces The orbit of a vertex in the underlying graph of a letter}}{49}{figure.3.8}}
\newlabel{fig:a-orbit}{{3.8}{49}{The orbit of a vertex in the underlying graph of a letter\relax }{figure.3.8}{}}
\newlabel{lemma:common root}{{3.4.7}{50}{The Road Coloring Problem\relax }{theorem.3.4.7}{}}
\newlabel{thm:road coloring}{{3.4.8}{50}{The Road Coloring Problem\relax }{theorem.3.4.8}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.9}{\ignorespaces Recoloring in the induction basis}}{51}{figure.3.9}}
\newlabel{fig:rcp-basis}{{3.9}{51}{Recoloring in the induction basis\relax }{figure.3.9}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.10}{\ignorespaces Recoloring in Case 1}}{51}{figure.3.10}}
\newlabel{fig:rcp-case1}{{3.10}{51}{Recoloring in Case 1\relax }{figure.3.10}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.11}{\ignorespaces Recoloring in Subcase 2.1}}{51}{figure.3.11}}
\newlabel{fig:rcp-subcase21}{{3.11}{51}{Recoloring in Subcase 2.1\relax }{figure.3.11}{}}
\citation{Beal&Perrin:2008}
\@writefile{lof}{\contentsline {figure}{\numberline {3.12}{\ignorespaces Recoloring in Subcase 2.2}}{52}{figure.3.12}}
\newlabel{fig:rcp-subcase22}{{3.12}{52}{Recoloring in Subcase 2.2\relax }{figure.3.12}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.13}{\ignorespaces Recoloring reducing Subcase 2.3 to Subcase 2.2}}{52}{figure.3.13}}
\newlabel{fig:rcp-subcase23}{{3.13}{52}{Recoloring reducing Subcase 2.3 to Subcase 2.2\relax }{figure.3.13}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.14}{\ignorespaces Subcase 2.4}}{52}{figure.3.14}}
\newlabel{fig:rcp-subcase24}{{3.14}{52}{Subcase 2.4\relax }{figure.3.14}{}}
\citation{Beal&Perrin:2008}
\citation{Wielandt:1950}
\citation{Dulmage&Mendelson:1964}
\@writefile{brf}{\backcite{Beal&Perrin:2008}{{53}{3.4}{figure.3.14}}}
\@writefile{brf}{\backcite{Beal&Perrin:2008}{{53}{3.4}{figure.3.14}}}
\newlabel{thm:rcp-imprimitive}{{3.4.9}{53}{The Road Coloring Problem\relax }{theorem.3.4.9}{}}
\newlabel{cor:rcp-general}{{3.4.10}{53}{The Road Coloring Problem\relax }{theorem.3.4.10}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.15}{\ignorespaces The graph $W_n$}}{53}{figure.3.15}}
\newlabel{fig:Wielandt}{{3.15}{53}{The graph $W_n$\relax }{figure.3.15}{}}
\citation{Ananichev&Gusev&Volkov:2010}
\citation{Steinberg:2010archive}
\citation{Carpi&D'Alessandro:2010}
\@writefile{brf}{\backcite{Wielandt:1950}{{54}{3.4}{figure.3.15}}}
\@writefile{brf}{\backcite{Dulmage&Mendelson:1964}{{54}{3.4}{figure.3.15}}}
\@writefile{brf}{\backcite{Ananichev&Gusev&Volkov:2010}{{54}{3.4}{figure.3.15}}}
\newlabel{conj:hybrid}{{3.4.12}{54}{The Road Coloring Problem\relax }{theorem.3.4.12}{}}
\@writefile{brf}{\backcite{Steinberg:2010archive,Carpi&D'Alessandro:2010}{{54}{3.4}{theorem.3.4.12}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3.5}{Applications of the Road Coloring Theorem}}{54}{section.3.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.5.1}{Application to symbolic dynamics}}{54}{subsection.3.5.1}}
\newlabel{eq:entropy}{{3.5.1}{54}{Application to symbolic dynamics\relax }{equation.3.5.1}{}}
\newlabel{ex:entropy}{{3.5.4}{55}{Application to symbolic dynamics\relax }{theorem.3.5.4}{}}
\citation{Adler&Goodwyn&Weiss:1977}
\citation{Adler&Goodwyn&Weiss:1977}
\citation{Adler&Marcus:1979}
\citation{Lind&Marcus:1995}
\newlabel{cor:agw}{{3.5.7}{56}{Application to symbolic dynamics\relax }{theorem.3.5.7}{}}
\@writefile{brf}{\backcite{Adler&Goodwyn&Weiss:1977}{{56}{3.5.1}{theorem.3.5.7}}}
\@writefile{brf}{\backcite{Adler&Goodwyn&Weiss:1977}{{56}{3.5.1}{theorem.3.5.7}}}
\@writefile{brf}{\backcite{Adler&Marcus:1979}{{56}{3.5.1}{theorem.3.5.7}}}
\@writefile{brf}{\backcite{Lind&Marcus:1995}{{56}{3.5.1}{theorem.3.5.7}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{3.5.2}{Application to coding theory}}{56}{subsection.3.5.2}}
\citation{Capocelli&Gargano&Vaccaro:1988}
\newlabel{examp:you use a code c}{{3.5.8}{57}{Application to coding theory\relax }{theorem.3.5.8}{}}
\@writefile{brf}{\backcite{Capocelli&Gargano&Vaccaro:1988}{{57}{3.5.2}{theorem.3.5.9}}}
\citation{Schutzenberger:1967}
\citation{Perrin&Schutzenberger:1992}
\@writefile{lof}{\contentsline {figure}{\numberline {3.16}{\ignorespaces Restoring synchronization}}{58}{figure.3.16}}
\newlabel{fig:decoding}{{3.16}{58}{Restoring synchronization\relax }{figure.3.16}{}}
\newlabel{cor:schutzenberger}{{3.5.11}{58}{Application to coding theory\relax }{theorem.3.5.11}{}}
\@writefile{brf}{\backcite{Schutzenberger:1967}{{58}{3.5.2}{theorem.3.5.11}}}
\@writefile{brf}{\backcite{Perrin&Schutzenberger:1992}{{59}{3.5.2}{theorem.3.5.11}}}
\citation{Prou}
\citation{AdLi}
\citation{Thue06}
\citation{Ar37}
\citation{HM38}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{4}{Avoidable Words}}{61}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4.1}{An Old Example}}{61}{section.4.1}}
\@writefile{brf}{\backcite{Prou}{{61}{4.1}{section.4.1}}}
\@writefile{brf}{\backcite{AdLi}{{61}{4.1}{section.4.1}}}
\@writefile{brf}{\backcite{Thue06}{{61}{4.1}{theorem.4.1.1}}}
\newlabel{th:morse}{{4.1.2}{61}{An Old Example\relax }{theorem.4.1.2}{}}
\@writefile{brf}{\backcite{Ar37}{{61}{4.1}{theorem.4.1.2}}}
\@writefile{brf}{\backcite{HM38}{{61}{4.1}{theorem.4.1.2}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4.2}{Proof of Thue's Theorem}}{62}{section.4.2}}
\newlabel{lm:1}{{4.2.2}{62}{Proof of Thue's Theorem\relax }{theorem.4.2.2}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4.3}{Square-Free Words}}{63}{section.4.3}}
\newlabel{th:2}{{4.3.2}{63}{Square-Free Words\relax }{theorem.4.3.2}{}}
\newlabel{lm:tt}{{4.3.3}{63}{Square-Free Words\relax }{theorem.4.3.3}{}}
\newlabel{th:thue2}{{4.3.4}{63}{Square-Free Words\relax }{theorem.4.3.4}{}}
\citation{Ber79a}
\citation{Ber79b}
\citation{Cro82}
\citation{BEM}
\@writefile{brf}{\backcite{Ber79a}{{64}{4.3}{theorem.4.3.5}}}
\@writefile{brf}{\backcite{Ber79b}{{64}{4.3}{theorem.4.3.5}}}
\@writefile{brf}{\backcite{Cro82}{{64}{4.3}{theorem.4.3.5}}}
\@writefile{brf}{\backcite{BEM}{{64}{4.3}{theorem.4.3.6}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4.4}{$k$th power-free substitutions}}{64}{section.4.4}}
\newlabel{th:bem1}{{4.4.1}{64}{$k$th power-free substitutions\relax }{theorem.4.4.1}{}}
\citation{BEM}
\citation{BEM}
\citation{CS66}
\citation{Levitzki51}
\citation{BEM}
\citation{Zim79}
\citation{Zim82}
\@writefile{brf}{\backcite{BEM}{{65}{4.4}{theorem.4.4.2}}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4.5}{Avoidable words}}{65}{section.4.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.5.1}{Examples and Simple Facts}}{65}{subsection.4.5.1}}
\newlabel{lm:a1}{{4.5.1}{65}{Examples and Simple Facts\relax }{theorem.4.5.1}{}}
\newlabel{lm:a2}{{4.5.2}{65}{Examples and Simple Facts\relax }{theorem.4.5.2}{}}
\newlabel{zimin}{{4.5.1}{65}{Examples and Simple Facts\relax }{equation.4.5.1}{}}
\@writefile{brf}{\backcite{BEM}{{65}{4.5.1}{equation.4.5.1}}}
\@writefile{brf}{\backcite{CS66}{{65}{4.5.1}{equation.4.5.1}}}
\@writefile{brf}{\backcite{Levitzki51}{{65}{4.5.1}{equation.4.5.1}}}
\@writefile{brf}{\backcite{BEM}{{65}{4.5.4}{theorem.4.5.4}}}
\@writefile{brf}{\backcite{Zim79}{{65}{4.5.4}{theorem.4.5.4}}}
\@writefile{brf}{\backcite{Zim82}{{65}{4.5.4}{theorem.4.5.4}}}
\newlabel{ex:7}{{4.5.4}{65}{Examples and Simple Facts\relax }{theorem.4.5.4}{}}
\newlabel{ex:Zimin}{{4.5.5}{65}{Examples and Simple Facts\relax }{theorem.4.5.5}{}}
\citation{Zim79}
\citation{Zim82}
\newlabel{ex:infb2B}{{2}{66}{Examples and Simple Facts\relax }{Item.9}{}}
\newlabel{ex:infb2C}{{5}{66}{Examples and Simple Facts\relax }{Item.12}{}}
\newlabel{ex:8}{{4.5.5}{66}{Examples and Simple Facts\relax }{Item.14}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.5.2}{The Zimin Theorem}}{66}{subsection.4.5.2}}
\@writefile{brf}{\backcite{Zim79}{{66}{4.5.6}{theorem.4.5.6}}}
\@writefile{brf}{\backcite{Zim82}{{66}{4.5.6}{theorem.4.5.6}}}
\newlabel{th:Z}{{4.5.6}{66}{The Zimin Theorem\relax }{theorem.4.5.6}{}}
\newlabel{ex:9}{{4.5.7}{66}{The Zimin Theorem\relax }{theorem.4.5.7}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.5.3}{Fusions, Free Subsets and Free Deletions}}{66}{subsection.4.5.3}}
\newlabel{eq:phi*}{{4.5.2}{66}{Fusions, Free Subsets and Free Deletions\relax }{equation.4.5.2}{}}
\citation{Sa87a}
\newlabel{lm:phi*}{{4.5.9}{67}{Fusions, Free Subsets and Free Deletions\relax }{theorem.4.5.9}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.5.4}{The Bean-Ehrenfeucht-McNulty+Zimin Theorem}}{67}{subsection.4.5.4}}
\newlabel{th:BEMZ}{{4.5.11}{67}{The Bean-Ehrenfeucht-McNulty+Zimin Theorem\relax }{Item.19}{}}
\@writefile{brf}{\backcite{Sa87a}{{67}{4.5.4}{Item.19}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.5.5}{The Proof of $(3)\rightarrow (2)$}}{67}{subsection.4.5.5}}
\newlabel{sec:pf21}{{4.5.6}{67}{The Proof of $(2)\rightarrow (1)$\relax }{subsection.4.5.6}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.5.6}{The Proof of $(2)\rightarrow (1)$}}{67}{subsection.4.5.6}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.5.7}{Proof of $(1)\rightarrow (3)$}}{67}{subsection.4.5.7}}
\newlabel{ex:gamma}{{4.5.13}{68}{Proof of $(1)\rightarrow (3)$\relax }{Item.23}{}}
\newlabel{prp:6n}{{4.5.1}{68}{Proof of $(1)\rightarrow (3)$\relax }{prp.4.5.1}{}}
\newlabel{lm:gamma1}{{4.5.14}{68}{Proof of $(1)\rightarrow (3)$\relax }{theorem.4.5.14}{}}
\newlabel{eq:5}{{4.5.3}{68}{Proof of $(1)\rightarrow (3)$\relax }{equation.4.5.3}{}}
\newlabel{lm:w1}{{4.5.15}{69}{Proof of $(1)\rightarrow (3)$\relax }{theorem.4.5.15}{}}
\newlabel{lm:w6}{{4.5.17}{69}{Proof of $(1)\rightarrow (3)$\relax }{theorem.4.5.17}{}}
\newlabel{lm:w7}{{4.5.18}{69}{Proof of $(1)\rightarrow (3)$\relax }{theorem.4.5.18}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.5.8}{Simultaneous avoidability}}{69}{subsection.4.5.8}}
\newlabel{ex:simav}{{4.5.20}{69}{Simultaneous avoidability\relax }{theorem.4.5.20}{}}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{5}{Semigroups}}{71}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5.1}{Structure of semigroups}}{71}{section.5.1}}
\newlabel{ex01}{{5.1.1}{71}{Structure of semigroups\relax }{theorem.5.1.1}{}}
\newlabel{ex:id}{{5.1.2}{71}{Structure of semigroups\relax }{theorem.5.1.2}{}}
\newlabel{ex:id1}{{5.1.3}{71}{Structure of semigroups\relax }{theorem.5.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.1.1}{Periodic semigroups}}{72}{subsection.5.1.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.1.2}{Periodic semigroups with exactly one idempotent}}{72}{subsection.5.1.2}}
\newlabel{cyc1}{{5.1.9}{72}{Periodic semigroups with exactly one idempotent\relax }{theorem.5.1.9}{}}
\newlabel{cyc2}{{5.1.10}{72}{Periodic semigroups with exactly one idempotent\relax }{theorem.5.1.10}{}}
\newlabel{per3}{{5.1.11}{72}{Periodic semigroups with exactly one idempotent\relax }{theorem.5.1.11}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.1.3}{Finite nil-semigroups.}}{73}{subsection.5.1.3}}
\newlabel{lm:nil}{{5.1.13}{73}{Finite nil-semigroups}{theorem.5.1.13}{}}
\newlabel{th:dilworth}{{5.1.14}{73}{Finite nil-semigroups}{theorem.5.1.14}{}}
\newlabel{th:u=0}{{5.1.15}{73}{Finite nil-semigroups}{theorem.5.1.15}{}}
\newlabel{th:u}{{5.1.16}{73}{Finite nil-semigroups}{Item.25}{}}
\newlabel{th:6768}{{5.1.17}{74}{Finite nil-semigroups}{theorem.5.1.17}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5.2}{Free Semigroups and Varieties}}{74}{section.5.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.2.1}{Free Rees Factor-Semigroups}}{74}{subsection.5.2.1}}
\newlabel{th:W}{{5.2.1}{74}{Free Rees Factor-Semigroups\relax }{theorem.5.2.1}{}}
\newlabel{th:ppp}{{5.2.2}{74}{Free Rees Factor-Semigroups\relax }{theorem.5.2.2}{}}
\newlabel{th:vv}{{5.2.3}{74}{Free Rees Factor-Semigroups\relax }{theorem.5.2.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.2.2}{A Description of Free Semigroups}}{74}{subsection.5.2.2}}
\newlabel{th:sigma}{{5.2.5}{75}{A Description of Free Semigroups\relax }{theorem.5.2.5}{}}
\newlabel{ex:groups}{{5.2.11}{76}{A Description of Free Semigroups\relax }{theorem.5.2.11}{}}
\newlabel{ex:567}{{5.2.13}{76}{A Description of Free Semigroups\relax }{theorem.5.2.13}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5.3}{The Burnside Problem for Varieties}}{76}{section.5.3}}
\newlabel{prob:1}{{5.3.1}{76}{The Burnside Problem for Varieties\relax }{theorem.5.3.1}{}}
\newlabel{ex:ablf}{{5.3.2}{76}{The Burnside Problem for Varieties\relax }{theorem.5.3.2}{}}
\newlabel{prob:2}{{5.3.3}{76}{The Burnside Problem for Varieties\relax }{theorem.5.3.3}{}}
\citation{Sa87a}
\@writefile{brf}{\backcite{Sa87a}{{77}{5.3.4}{theorem.5.3.4}}}
\newlabel{th:sapir}{{5.3.4}{77}{The Burnside Problem for Varieties\relax }{Item.29}{}}
\citation{Fu81}
\newlabel{lm:10.1}{{5.3.6}{78}{The Burnside Problem for Varieties\relax }{theorem.5.3.6}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.3.1}{Symbolic Dynamics and Semigroups}}{78}{subsection.5.3.1}}
\@writefile{brf}{\backcite{Fu81}{{78}{5.3.9}{theorem.5.3.9}}}
\newlabel{lm:fur}{{5.3.9}{78}{Symbolic Dynamics and Semigroups\relax }{theorem.5.3.9}{}}
\newlabel{l:brown}{{5.3.11}{79}{Symbolic Dynamics and Semigroups\relax }{theorem.5.3.11}{}}
\newlabel{lm:d}{{5.3.12}{79}{Symbolic Dynamics and Semigroups\relax }{theorem.5.3.12}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.3.2}{An application of dynamical systems to semigroups}}{79}{subsection.5.3.2}}
\newlabel{lm:sap1}{{5.3.14}{79}{An application of dynamical systems to semigroups\relax }{theorem.5.3.14}{}}
\newlabel{lm:9}{{5.3.15}{79}{An application of dynamical systems to semigroups\relax }{theorem.5.3.15}{}}
\newlabel{lm:al}{{5.3.16}{79}{An application of dynamical systems to semigroups\relax }{theorem.5.3.16}{}}
\newlabel{lm:cond}{{5.3.18}{80}{An application of dynamical systems to semigroups\relax }{Item.35}{}}
\newlabel{lm:sap2}{{5.3.19}{80}{An application of dynamical systems to semigroups\relax }{theorem.5.3.19}{}}
\newlabel{lm:8}{{5.3.20}{81}{An application of dynamical systems to semigroups\relax }{theorem.5.3.20}{}}
\newlabel{lm:11}{{5.3.22}{81}{An application of dynamical systems to semigroups\relax }{theorem.5.3.22}{}}
\newlabel{lm:7}{{5.3.24}{81}{An application of dynamical systems to semigroups\relax }{theorem.5.3.24}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.3.3}{Implication $2\rightarrow 4$}}{82}{subsection.5.3.3}}
\newlabel{lm:u=v}{{5.3.26}{82}{Implication $2\rightarrow 4$\relax }{theorem.5.3.26}{}}
\newlabel{lm:6}{{5.3.28}{82}{Implication $2\rightarrow 4$\relax }{theorem.5.3.28}{}}
\newlabel{lm:m+1}{{5.3.29}{82}{Implication $2\rightarrow 4$\relax }{theorem.5.3.29}{}}
\newlabel{lm:fusion1}{{5.3.30}{82}{Implication $2\rightarrow 4$\relax }{theorem.5.3.30}{}}
\newlabel{lm:5}{{5.3.31}{83}{Implication $2\rightarrow 4$\relax }{theorem.5.3.31}{}}
\newlabel{lm:4.4}{{5.3.32}{83}{Implication $2\rightarrow 4$\relax }{theorem.5.3.32}{}}
\newlabel{lm:4.8}{{5.3.33}{84}{Implication $2\rightarrow 4$\relax }{theorem.5.3.33}{}}
\newlabel{lm:zimin2}{{5.3.34}{85}{Implication $2\rightarrow 4$\relax }{theorem.5.3.34}{}}
\citation{Brown}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5.4}{Brown's theorem and uniformly recurrent words}}{86}{section.5.4}}
\citation{P26}
\citation{Sa87a}
\@writefile{brf}{\backcite{Brown}{{87}{5.4.1}{theorem.5.4.1}}}
\newlabel{t:brown}{{5.4.1}{87}{Brown's theorem and \ur words\relax }{theorem.5.4.1}{}}
\@writefile{brf}{\backcite{P26}{{87}{5.4}{theorem.5.4.1}}}
\newlabel{l:shevrin}{{5.4.2}{87}{Brown's theorem and \ur words\relax }{theorem.5.4.2}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5.5}{Burnside Problems and the Finite Basis Property}}{87}{section.5.5}}
\@writefile{brf}{\backcite{Sa87a}{{87}{5.5.1}{theorem.5.5.1}}}
\newlabel{th:sapir1}{{5.5.1}{87}{Burnside Problems and the Finite Basis Property\relax }{theorem.5.5.1}{}}
\newlabel{ex:zinfty}{{5.5.2}{87}{Burnside Problems and the Finite Basis Property\relax }{theorem.5.5.2}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5.6}{Inherently Non-Finitely Based Finite Semigroups}}{88}{section.5.6}}
\newlabel{s:infb}{{5.6}{88}{Inherently Non-Finitely Based Finite Semigroups\relax }{section.5.6}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.6.1}{Some advanced semigroup theory}}{88}{subsection.5.6.1}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{5.6.1.1}{Ideals and $0$-simple semigroups}}{88}{subsubsection.5.6.1.1}}
\newlabel{simple0}{{5.6.3}{88}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.3}{}}
\newlabel{chief}{{5.6.6}{88}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.6}{}}
\newlabel{reessushkevich1}{{5.6.7}{88}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.7}{}}
\newlabel{idempsimple}{{5.6.8}{89}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.8}{}}
\newlabel{idempsimple1}{{5.6.9}{89}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.9}{}}
\newlabel{recband}{{5.6.11}{89}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.11}{}}
\newlabel{l:infb4}{{5.6.12}{89}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.12}{}}
\newlabel{simple1}{{5.6.13}{89}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.13}{}}
\newlabel{simple2}{{5.6.14}{89}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.14}{}}
\newlabel{simple3}{{5.6.15}{89}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.15}{}}
\newlabel{simple5}{{5.6.16}{90}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.16}{}}
\newlabel{ex:Brandtse}{{5.6.19}{91}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.19}{}}
\newlabel{ex:cs}{{5.6.21}{91}{Ideals and $0$-simple semigroups\relax }{theorem.5.6.21}{}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{5.6.1.2}{Semigroups without divisors isomorphic to $A_2$ and $B_2$}}{91}{subsubsection.5.6.1.2}}
\newlabel{A2}{{5.6.22}{91}{Semigroups without divisors isomorphic to $A_2$ and $B_2$\relax }{theorem.5.6.22}{}}
\newlabel{Brandt2}{{5.6.23}{91}{Semigroups without divisors isomorphic to $A_2$ and $B_2$\relax }{theorem.5.6.23}{}}
\citation{shevrin}
\@writefile{brf}{\backcite{shevrin}{{92}{5.6.1.2}{theorem.5.6.23}}}
\newlabel{shevrin}{{5.6.24}{92}{Semigroups without divisors isomorphic to $A_2$ and $B_2$\relax }{theorem.5.6.24}{}}
\newlabel{ex:A2}{{5.6.26}{93}{Semigroups without divisors isomorphic to $A_2$ and $B_2$\relax }{theorem.5.6.26}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.6.2}{The description of inherently nonfinitely based\ finite semigroups}}{93}{subsection.5.6.2}}
\newlabel{lm:bt1}{{5.6.27}{93}{The description of \infb \ finite semigroups\relax }{theorem.5.6.27}{}}
\newlabel{ex:lf}{{5.6.28}{94}{The description of \infb \ finite semigroups\relax }{theorem.5.6.28}{}}
\newlabel{ex:fins1}{{5.6.29}{94}{The description of \infb \ finite semigroups\relax }{theorem.5.6.29}{}}
\newlabel{lm:eYe}{{5.6.30}{94}{The description of \infb \ finite semigroups\relax }{theorem.5.6.30}{}}
\newlabel{lm:lf}{{5.6.31}{94}{The description of \infb \ finite semigroups\relax }{theorem.5.6.31}{}}
\newlabel{t:in1}{{5.6.32}{95}{The description of \infb \ finite semigroups\relax }{theorem.5.6.32}{}}
\newlabel{l:infb3}{{5.6.33}{95}{The description of \infb \ finite semigroups\relax }{theorem.5.6.33}{}}
\newlabel{l:infb5}{{5.6.34}{96}{The description of \infb \ finite semigroups\relax }{theorem.5.6.34}{}}
\newlabel{l:infb6}{{5.6.35}{96}{The description of \infb \ finite semigroups\relax }{theorem.5.6.35}{}}
\newlabel{l:infb7}{{5.6.36}{96}{The description of \infb \ finite semigroups\relax }{theorem.5.6.36}{}}
\newlabel{eq:infb1}{{5.6.1}{96}{The description of \infb \ finite semigroups\relax }{equation.5.6.1}{}}
\newlabel{l:infb8}{{5.6.37}{97}{The description of \infb \ finite semigroups\relax }{theorem.5.6.37}{}}
\newlabel{l:infb9}{{5.6.39}{97}{The description of \infb \ finite semigroups\relax }{theorem.5.6.39}{}}
\newlabel{l:infb10}{{5.6.40}{97}{The description of \infb \ finite semigroups\relax }{theorem.5.6.40}{}}
\newlabel{rk:infb1}{{5.6.41}{98}{The description of \infb \ finite semigroups\relax }{theorem.5.6.41}{}}
\newlabel{ex:infb11}{{5.6.42}{98}{The description of \infb \ finite semigroups\relax }{theorem.5.6.42}{}}
\newlabel{l:infb12}{{5.6.43}{98}{The description of \infb \ finite semigroups\relax }{theorem.5.6.43}{}}
\newlabel{l:infb13}{{5.6.44}{98}{The description of \infb \ finite semigroups\relax }{theorem.5.6.44}{}}
\newlabel{eq:infb2}{{5.6.2}{98}{The description of \infb \ finite semigroups\relax }{equation.5.6.2}{}}
\newlabel{eq:infb0}{{5.6.3}{98}{The description of \infb \ finite semigroups\relax }{equation.5.6.3}{}}
\newlabel{eq:infb3}{{5.6.4}{99}{The description of \infb \ finite semigroups\relax }{equation.5.6.4}{}}
\citation{Sa87b}
\citation{Jackson}
\citation{Sa87b}
\citation{Lv73}
\citation{Trakh}
\citation{ShV85}
\citation{Mash}
\citation{Sa87b}
\citation{Sa90c}
\citation{SJ}
\citation{KharSap}
\@writefile{brf}{\backcite{Sa87b}{{100}{5.6.47}{theorem.5.6.47}}}
\@writefile{brf}{\backcite{Jackson}{{100}{5.6.47}{theorem.5.6.47}}}
\newlabel{ex:in2}{{5.6.48}{100}{The description of \infb \ finite semigroups\relax }{theorem.5.6.48}{}}
\@writefile{brf}{\backcite{Sa87b}{{100}{5.6.48}{theorem.5.6.48}}}
\@writefile{brf}{\backcite{Lv73}{{100}{5.6.2}{theorem.5.6.48}}}
\@writefile{brf}{\backcite{Trakh}{{100}{5.6.2}{theorem.5.6.48}}}
\@writefile{brf}{\backcite{ShV85}{{100}{5.6.2}{theorem.5.6.48}}}
\@writefile{brf}{\backcite{Mash}{{100}{5.6.2}{theorem.5.6.48}}}
\@writefile{brf}{\backcite{Sa87b}{{100}{5.6.2}{theorem.5.6.48}}}
\@writefile{brf}{\backcite{Sa90c}{{100}{5.6.2}{theorem.5.6.48}}}
\@writefile{brf}{\backcite{SJ}{{100}{5.6.2}{theorem.5.6.48}}}
\@writefile{brf}{\backcite{KharSap}{{100}{5.6.2}{theorem.5.6.48}}}
\citation{Nath}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5.7}{Growth functions of semigroups}}{101}{section.5.7}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.7.1}{The definition}}{101}{subsection.5.7.1}}
\newlabel{exa:com}{{5.7.1}{101}{The definition\relax }{theorem.5.7.1}{}}
\newlabel{exa:free}{{5.7.2}{101}{The definition\relax }{theorem.5.7.2}{}}
\citation{NumTh}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.7.2}{Chebyshev, Hardy-Ramanujan and a semigroup of intermediate growth}}{102}{subsection.5.7.2}}
\@writefile{brf}{\backcite{Nath}{{102}{5.7.2}{subsection.5.7.2}}}
\newlabel{th:nath}{{5.7.3}{102}{Chebyshev, Hardy-Ramanujan and a semigroup of intermediate growth\relax }{theorem.5.7.3}{}}
\newlabel{eq:nath}{{5.7.1}{102}{Chebyshev, Hardy-Ramanujan and a semigroup of intermediate growth\relax }{equation.5.7.1}{}}
\@writefile{brf}{\backcite{NumTh}{{102}{5.7.2}{equation.5.7.1}}}
\citation{Hardy}
\citation{BST}
\citation{Mav}
\citation{Ok}
\citation{CO}
\citation{Ok}
\@writefile{brf}{\backcite{Hardy}{{103}{5.7.2}{equation.5.7.1}}}
\@writefile{brf}{\backcite{BST}{{103}{5.7.2}{equation.5.7.1}}}
\@writefile{brf}{\backcite{Mav}{{103}{5.7.2}{equation.5.7.1}}}
\@writefile{brf}{\backcite{Ok}{{103}{5.7.2}{equation.5.7.1}}}
\@writefile{brf}{\backcite{CO}{{103}{5.7.2}{equation.5.7.1}}}
\@writefile{brf}{\backcite{Ok}{{103}{5.7.2}{equation.5.7.1}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.7.3}{Growth of relatively free semigroups in varieties}}{103}{subsection.5.7.3}}
\newlabel{ex:shnslr}{{5.7.4}{103}{Growth of relatively free semigroups in varieties\relax }{theorem.5.7.4}{}}
\newlabel{eq:sh2.1}{{5.7.2}{104}{Growth of relatively free semigroups in varieties\relax }{equation.5.7.2}{}}
\newlabel{l:sh2.1}{{5.7.5}{104}{Growth of relatively free semigroups in varieties\relax }{theorem.5.7.5}{}}
\newlabel{l:shnp2.1}{{5.7.6}{104}{Growth of relatively free semigroups in varieties\relax }{theorem.5.7.6}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5.8}{Inverse semigroups}}{104}{section.5.8}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.8.1}{Basic facts about inverse semigroups}}{104}{subsection.5.8.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.8.2}{Free inverse semigroups, E-unitary covers and semigroups of automata}}{104}{subsection.5.8.2}}
\newlabel{ss:iis}{{5.8.3}{104}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{subsection.5.8.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{5.8.3}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics}}{104}{subsection.5.8.3}}
\newlabel{t:i}{{5.8.1}{104}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{theorem.5.8.1}{}}
\newlabel{l:i1}{{5.8.2}{105}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{theorem.5.8.2}{}}
\newlabel{eib}{{5.8.1}{105}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{equation.5.8.1}{}}
\newlabel{l:i2}{{5.8.4}{105}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{theorem.5.8.4}{}}
\newlabel{ei1}{{5.8.2}{105}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{equation.5.8.2}{}}
\newlabel{l:i5}{{5.8.6}{106}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{theorem.5.8.6}{}}
\newlabel{l:i6}{{5.8.7}{106}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{theorem.5.8.7}{}}
\newlabel{l:i7}{{5.8.8}{106}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{theorem.5.8.8}{}}
\newlabel{l:i9}{{5.8.9}{107}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{theorem.5.8.9}{}}
\newlabel{l:i3}{{5.8.11}{107}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{theorem.5.8.11}{}}
\newlabel{ei3}{{5.8.3}{107}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{equation.5.8.3}{}}
\newlabel{ei4}{{5.8.4}{107}{Identities of finite inverse semigroups, Zimin words, and symbolic dynamics\relax }{equation.5.8.4}{}}
\citation{Golod}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{6}{Rings}}{109}{chapter.6}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6.1}{The basic notions}}{109}{section.6.1}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6.2}{Free Associative Algebras}}{109}{section.6.2}}
\newlabel{th:kpp}{{6.2.2}{109}{Free Associative Algebras\relax }{theorem.6.2.2}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6.3}{Burnside-type Problems in Associative Algebras}}{109}{section.6.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3.1}{Introduction}}{109}{subsection.6.3.1}}
\@writefile{brf}{\backcite{Golod}{{109}{6.3.1}{subsection.6.3.1}}}
\newlabel{th:x2aa}{{6.3.1}{109}{Introduction\relax }{theorem.6.3.1}{}}
\citation{Ja56}
\citation{Kaplansky}
\citation{Shirshov1}
\citation{Shirshov2}
\citation{Shirshov3}
\@writefile{brf}{\backcite{Ja56}{{110}{6.3.1}{theorem.6.3.1}}}
\@writefile{brf}{\backcite{Kaplansky}{{110}{6.3.1}{theorem.6.3.1}}}
\@writefile{brf}{\backcite{Shirshov1, Shirshov2, Shirshov3}{{110}{6.3.1}{theorem.6.3.1}}}
\newlabel{lm:aaa}{{6.3.2}{110}{Introduction\relax }{theorem.6.3.2}{}}
\newlabel{eq:standard}{{6.3.1}{110}{Introduction\relax }{equation.6.3.1}{}}
\newlabel{lm:ndim}{{6.3.3}{110}{Introduction\relax }{equation.6.3.1}{}}
\citation{Kaplansky}
\citation{Shirshov1}
\citation{Shirshov2}
\@writefile{brf}{\backcite{Kaplansky}{{111}{6.3.4}{theorem.6.3.4}}}
\newlabel{th:kaplansky}{{6.3.4}{111}{Introduction\relax }{theorem.6.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3.2}{Shirshov's Height Theorem}}{111}{subsection.6.3.2}}
\newlabel{th:shirshov}{{6.3.5}{111}{Shirshov's Height Theorem\relax }{theorem.6.3.5}{}}
\@writefile{brf}{\backcite{Shirshov1,Shirshov2}{{111}{6.3.5}{theorem.6.3.5}}}
\newlabel{lm:mult}{{6.3.7}{112}{Shirshov's Height Theorem\relax }{theorem.6.3.7}{}}
\newlabel{eq:iden}{{6.3.2}{112}{Shirshov's Height Theorem\relax }{equation.6.3.2}{}}
\citation{Belov}
\@writefile{brf}{\backcite{Belov}{{113}{6.3.2}{equation.6.3.2}}}
\newlabel{belov1}{{6.3.8}{113}{Shirshov's Height Theorem\relax }{theorem.6.3.8}{}}
\newlabel{belov2}{{6.3.9}{113}{Shirshov's Height Theorem\relax }{theorem.6.3.9}{}}
\newlabel{lm:shirshov}{{6.3.10}{113}{Shirshov's Height Theorem\relax }{theorem.6.3.10}{}}
\citation{KR}
\citation{DuI}
\citation{Hig}
\newlabel{lm:6aa}{{6.3.11}{114}{Shirshov's Height Theorem\relax }{theorem.6.3.11}{}}
\@writefile{brf}{\backcite{KR}{{114}{6.3.2}{theorem.6.3.12}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3.3}{The Dubnov-Ivanov-Nagata-Higman Theorem}}{114}{subsection.6.3.3}}
\@writefile{brf}{\backcite{DuI}{{114}{6.3.13}{theorem.6.3.13}}}
\@writefile{brf}{\backcite{Hig}{{114}{6.3.13}{theorem.6.3.13}}}
\citation{Razmyslov}
\citation{Kuzmin}
\citation{Golod}
\citation{GSh}
\@writefile{brf}{\backcite{Razmyslov}{{116}{6.3.3}{theorem.6.3.13}}}
\@writefile{brf}{\backcite{Kuzmin}{{116}{6.3.3}{theorem.6.3.13}}}
\newlabel{s:golod}{{6.3.4}{116}{Golod Counterexamples to the Kurosh Problem\relax }{subsection.6.3.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3.4}{Golod Counterexamples to the Kurosh Problem}}{116}{subsection.6.3.4}}
\@writefile{brf}{\backcite{Golod}{{116}{6.3.4}{subsection.6.3.4}}}
\@writefile{brf}{\backcite{GSh}{{116}{6.3.4}{subsection.6.3.4}}}
\newlabel{th:gsh}{{6.3.14}{116}{Golod Counterexamples to the Kurosh Problem\relax }{theorem.6.3.14}{}}
\newlabel{eq:78}{{6.3.3}{117}{Golod Counterexamples to the Kurosh Problem\relax }{equation.6.3.3}{}}
\newlabel{eq:91}{{6.3.4}{118}{Golod Counterexamples to the Kurosh Problem\relax }{equation.6.3.4}{}}
\citation{Olsh}
\citation{LeSm}
\@writefile{brf}{\backcite{Olsh}{{119}{6.3.15}{theorem.6.3.15}}}
\citation{McCoy49}
\citation{Baer43}
\citation{Levitzki51}
\@writefile{brf}{\backcite{LeSm}{{120}{6.3.4}{theorem.6.3.15}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3.5}{Zimin words and the Baer radical}}{120}{subsection.6.3.5}}
\@writefile{brf}{\backcite{McCoy49}{{120}{6.3.5}{theorem.6.3.16}}}
\@writefile{brf}{\backcite{Baer43}{{120}{6.3.5}{theorem.6.3.16}}}
\@writefile{brf}{\backcite{Levitzki51}{{120}{6.3.5}{theorem.6.3.16}}}
\newlabel{lemma:prime ideal}{{6.3.17}{120}{Zimin words and the Baer radical\relax }{theorem.6.3.17}{}}
\citation{Levitzki51}
\newlabel{eq:z-sequence}{{6.3.5}{121}{Zimin words and the Baer radical\relax }{equation.6.3.5}{}}
\@writefile{brf}{\backcite{Levitzki51}{{121}{6.3.5}{equation.6.3.5}}}
\newlabel{prop:levitzky}{{6.3.18}{121}{Zimin words and the Baer radical\relax }{theorem.6.3.18}{}}
\newlabel{cor:properties of radical}{{6.3.19}{121}{Zimin words and the Baer radical\relax }{theorem.6.3.19}{}}
\citation{Wedd}
\citation{Wedd2}
\citation{Wedd1}
\citation{Wedd3}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3.6}{The restricted Burnside problem for associative rings and inherently nonfinitely based\ varieties of rings}}{122}{subsection.6.3.6}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6.4}{The finite basis problem}}{122}{section.6.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.4.1}{Basic facts about finite associative rings}}{122}{subsection.6.4.1}}
\newlabel{lm:wed}{{6.4.1}{122}{Basic facts about finite associative rings\relax }{theorem.6.4.1}{}}
\@writefile{brf}{\backcite{Wedd}{{122}{6.4.1}{theorem.6.4.1}}}
\@writefile{brf}{\backcite{Wedd2, Wedd1}{{122}{6.4.1}{theorem.6.4.1}}}
\@writefile{brf}{\backcite{Wedd3}{{122}{6.4.1}{theorem.6.4.1}}}
\newlabel{ex:2 generators for matrices}{{6.4.2}{122}{Basic facts about finite associative rings\relax }{theorem.6.4.2}{}}
\newlabel{prop:structure of rings}{{6.4.3}{122}{Basic facts about finite associative rings\relax }{theorem.6.4.3}{}}
\newlabel{ex:minimal ideal is simple}{{6.4.4}{123}{Basic facts about finite associative rings\relax }{theorem.6.4.4}{}}
\citation{Specht:1950}
\citation{Kemer:1987}
\citation{Belov:1999}
\citation{Belov:2000}
\citation{Grishin:1999}
\citation{Grishin:2000}
\citation{Shchigolev:1999}
\citation{Shchigolev:2000}
\citation{Gupta&Krasilnikov:2002}
\citation{Belov:1999}
\newlabel{rings without finite identity basis}{{6.4.2}{124}{Negative result\relax }{subsection.6.4.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.4.2}{Negative result}}{124}{subsection.6.4.2}}
\@writefile{brf}{\backcite{Specht:1950}{{124}{6.4.2}{subsection.6.4.2}}}
\@writefile{brf}{\backcite{Kemer:1987}{{124}{6.4.2}{subsection.6.4.2}}}
\@writefile{brf}{\backcite{Belov:1999,Belov:2000}{{124}{6.4.2}{subsection.6.4.2}}}
\@writefile{brf}{\backcite{Grishin:1999,Grishin:2000}{{124}{6.4.2}{subsection.6.4.2}}}
\@writefile{brf}{\backcite{Shchigolev:1999,Shchigolev:2000}{{124}{6.4.2}{subsection.6.4.2}}}
\@writefile{brf}{\backcite{Gupta&Krasilnikov:2002}{{124}{6.4.2}{subsection.6.4.2}}}
\@writefile{brf}{\backcite{Belov:1999}{{124}{6.4.2}{subsection.6.4.2}}}
\newlabel{eq:GKidentities}{{6.4.1}{124}{Negative result\relax }{equation.6.4.1}{}}
\newlabel{thm:GK}{{6.4.5}{124}{Negative result\relax }{theorem.6.4.5}{}}
\newlabel{eq:special matrices}{{6.4.2}{125}{Negative result\relax }{equation.6.4.2}{}}
\newlabel{eq:matrices in I}{{6.4.3}{126}{Negative result\relax }{equation.6.4.3}{}}
\newlabel{eq:value of the product}{{6.4.4}{126}{Negative result\relax }{equation.6.4.4}{}}
\citation{Latyshev}
\citation{Latyshev}
\newlabel{ss:finiterings}{{6.4.3}{127}{Positive result. Identities of finite rings\relax }{subsection.6.4.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.4.3}{Positive result. Identities of finite rings}}{127}{subsection.6.4.3}}
\@writefile{brf}{\backcite{Latyshev}{{127}{6.4.3}{subsection.6.4.3}}}
\@writefile{brf}{\backcite{Latyshev}{{127}{6.4.3}{subsection.6.4.3}}}
\newlabel{lemma:latyshev}{{6.4.6}{127}{Positive result. Identities of finite rings\relax }{theorem.6.4.6}{}}
\newlabel{prop:reduction}{{6.4.7}{127}{Positive result. Identities of finite rings\relax }{theorem.6.4.7}{}}
\newlabel{prop:nilpotent}{{6.4.8}{128}{Positive result. Identities of finite rings\relax }{theorem.6.4.8}{}}
\newlabel{prop:simple factors}{{6.4.10}{128}{Positive result. Identities of finite rings\relax }{theorem.6.4.10}{}}
\newlabel{prop:lvov}{{6.4.11}{128}{Positive result. Identities of finite rings\relax }{theorem.6.4.11}{}}
\newlabel{lemma:finite index1}{{6.4.12}{128}{Positive result. Identities of finite rings\relax }{theorem.6.4.12}{}}
\citation{Lewin67}
\newlabel{eq:finite index}{{6.4.5}{129}{Positive result. Identities of finite rings\relax }{equation.6.4.5}{}}
\newlabel{lemma:finite index2}{{6.4.13}{129}{Positive result. Identities of finite rings\relax }{theorem.6.4.13}{}}
\citation{Lewin67}
\@writefile{brf}{\backcite{Lewin67}{{130}{6.4.3}{theorem.6.4.13}}}
\newlabel{lemma:lewin}{{6.4.14}{130}{Positive result. Identities of finite rings\relax }{theorem.6.4.14}{}}
\@writefile{brf}{\backcite{Lewin67}{{130}{6.4.14}{theorem.6.4.14}}}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{7}{Groups}}{131}{chapter.7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7.1}{Basic facts and constructions}}{131}{section.7.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1.1}{Constructions}}{131}{subsection.7.1.1}}
\newlabel{ex:wreath}{{7.1.2}{131}{Constructions\relax }{theorem.7.1.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1.2}{Commutators}}{131}{subsection.7.1.2}}
\newlabel{exer:distributivity}{{7.1.3}{132}{Commutators\relax }{theorem.7.1.3}{}}
\newlabel{s:vkd}{{7.1.3}{132}{Group presentations\relax }{subsection.7.1.3}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1.3}{Group presentations}}{132}{subsection.7.1.3}}
\newlabel{ex:nor}{{7.1.4}{132}{Group presentations\relax }{theorem.7.1.4}{}}
\newlabel{ex:product}{{7.1.5}{132}{Group presentations\relax }{theorem.7.1.5}{}}
\newlabel{eq:111}{{7.1.1}{132}{Group presentations\relax }{equation.7.1.1}{}}
\newlabel{td}{{7.1.4}{132}{Van Kampen diagrams:the definition\relax }{subsection.7.1.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1.4}{Van Kampen diagrams:the definition}}{132}{subsection.7.1.4}}
\citation{LS}
\citation{Ol89}
\citation{Br}
\@writefile{lof}{\contentsline {figure}{\numberline {7.1}{\ignorespaces A van Kampen diagram without labels.}}{133}{figure.7.1}}
\newlabel{f2}{{7.1}{133}{A van Kampen diagram without labels}{figure.7.1}{}}
\newlabel{lvk}{{7.1.6}{133}{Van Kampen diagrams:the definition\relax }{theorem.7.1.6}{}}
\@writefile{brf}{\backcite{LS, Ol89, Br}{{133}{7.1.4}{theorem.7.1.6}}}
\newlabel{prop1}{{7.1.7}{133}{Van Kampen diagrams:the definition\relax }{theorem.7.1.7}{}}
\newlabel{lmm1}{{7.1.7}{133}{Van Kampen diagrams:the definition\relax }{Item.54}{}}
\citation{Th}
\@writefile{lof}{\contentsline {figure}{\numberline {7.2}{\ignorespaces Cutting $\Pi '$ inside $\Pi $.}}{134}{figure.7.2}}
\newlabel{f3}{{7.2}{134}{Cutting $\Pi '$ inside $\Pi $}{figure.7.2}{}}
\newlabel{vkat}{{7.1.5}{134}{Van Kampen diagrams and tilings. An elementary school problem and its non-elementary solution\relax }{subsection.7.1.5}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1.5}{Van Kampen diagrams and tilings. An elementary school problem and its non-elementary solution}}{134}{subsection.7.1.5}}
\newlabel{ex1}{{7.1.9}{134}{Van Kampen diagrams and tilings. An elementary school problem and its non-elementary solution\relax }{theorem.7.1.9}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.3}{\ignorespaces The chess board with two squares removed and two dominos.}}{135}{figure.7.3}}
\newlabel{f4}{{7.3}{135}{The chess board with two squares removed and two dominos}{figure.7.3}{}}
\@writefile{brf}{\backcite{Th}{{135}{7.1.5}{figure.7.3}}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1.6}{Fundamental groups and 2-complexes}}{135}{subsection.7.1.6}}
\citation{MHall}
\citation{MHall}
\citation{Sanov}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1.7}{The Squier complex of a string rewriting system}}{136}{subsection.7.1.7}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7.2}{The Burnside problem for groups}}{136}{section.7.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2.1}{Positive results}}{136}{subsection.7.2.1}}
\@writefile{brf}{\backcite{MHall}{{136}{7.2.1}{subsection.7.2.1}}}
\newlabel{t:burn3}{{7.2.1}{136}{Positive results\relax }{theorem.7.2.1}{}}
\@writefile{brf}{\backcite{MHall}{{136}{7.2.1}{theorem.7.2.1}}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.4}{\ignorespaces The identity $x^3=1$ implies the identity $[y,y^x]=1$}}{136}{figure.7.4}}
\newlabel{fig:ol}{{7.4}{136}{The identity $x^3=1$ implies the identity $[y,y^x]=1$\relax }{figure.7.4}{}}
\citation{Golod}
\citation{Ze93}
\@writefile{brf}{\backcite{Sanov}{{137}{7.2.2}{theorem.7.2.2}}}
\newlabel{eq:bur0}{{7.2.1}{137}{Positive results\relax }{equation.7.2.1}{}}
\newlabel{eq:bur1}{{7.2.2}{137}{Positive results\relax }{equation.7.2.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2.2}{Golod's Counterexample to the Unbounded Burnside Problem For Groups}}{137}{subsection.7.2.2}}
\@writefile{brf}{\backcite{Golod}{{137}{7.2.2}{subsection.7.2.2}}}
\citation{Ze93}
\citation{Ne67}
\citation{Ze93}
\citation{Olsh:1970}
\citation{Adian:1970}
\citation{Vaughan-Lee:1970}
\citation{Ne67}
\citation{Kleiman1}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2.3}{The bounded Burnside problem}}{138}{subsection.7.2.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2.4}{The restricted Burnside problem, Zimin words, and inherently nonfinitely based\ varieties of groups}}{138}{subsection.7.2.4}}
\@writefile{brf}{\backcite{Ze93}{{138}{7.2.4}{subsection.7.2.4}}}
\@writefile{brf}{\backcite{Ze93}{{138}{7.2.4}{subsection.7.2.4}}}
\@writefile{brf}{\backcite{Ne67}{{138}{7.2.4}{subsection.7.2.4}}}
\newlabel{t:zel1}{{7.2.3}{138}{The restricted Burnside problem, Zimin words, and \infb \ varieties of groups\relax }{theorem.7.2.3}{}}
\@writefile{brf}{\backcite{Ze93}{{138}{7.2.3}{theorem.7.2.3}}}
\newlabel{tze93}{{7.2.3}{138}{The restricted Burnside problem, Zimin words, and \infb \ varieties of groups\relax }{theorem.7.2.3}{}}
\newlabel{cor:zel}{{7.2.4}{138}{The restricted Burnside problem, Zimin words, and \infb \ varieties of groups\relax }{theorem.7.2.4}{}}
\newlabel{con:zel}{{7.2.5}{138}{The restricted Burnside problem, Zimin words, and \infb \ varieties of groups\relax }{theorem.7.2.5}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7.3}{The finite basis problem for group varieties}}{138}{section.7.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.3.1}{An example of Yu. Kleiman}}{138}{subsection.7.3.1}}
\@writefile{brf}{\backcite{Olsh:1970}{{138}{7.3.1}{subsection.7.3.1}}}
\@writefile{brf}{\backcite{Adian:1970}{{138}{7.3.1}{subsection.7.3.1}}}
\@writefile{brf}{\backcite{Vaughan-Lee:1970}{{138}{7.3.1}{subsection.7.3.1}}}
\@writefile{brf}{\backcite{Ne67}{{138}{7.3.1}{subsection.7.3.1}}}
\@writefile{brf}{\backcite{Kleiman1}{{138}{7.3.1}{subsection.7.3.1}}}
\newlabel{eq:b4b2}{{7.3.1}{138}{An example of Yu. Kleiman\relax }{equation.7.3.1}{}}
\newlabel{th:kleiman}{{7.3.1}{138}{An example of Yu. Kleiman\relax }{theorem.7.3.1}{}}
\newlabel{eq:relation-kleiman}{{7.3.2}{139}{An example of Yu. Kleiman\relax }{equation.7.3.2}{}}
\newlabel{lemma:kleiman}{{7.3.2}{139}{An example of Yu. Kleiman\relax }{theorem.7.3.2}{}}
\newlabel{eq:representation of d}{{7.3.3}{139}{An example of Yu. Kleiman\relax }{equation.7.3.3}{}}
\newlabel{eq:representation of d4}{{7.3.4}{140}{An example of Yu. Kleiman\relax }{equation.7.3.4}{}}
\newlabel{postponed ring construction}{{7.3.2}{140}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{subsection.7.3.2}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.3.2}{Construction of the algebra $R$ used in Subsection\nonbreakingspace \ref  {rings without finite identity basis}}}{140}{subsection.7.3.2}}
\newlabel{eq:standard form}{{7.3.5}{141}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{equation.7.3.5}{}}
\newlabel{lemma:gk1}{{7.3.3}{141}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{theorem.7.3.3}{}}
\newlabel{eq:long calculation}{{7.3.6}{141}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{equation.7.3.6}{}}
\newlabel{lemma:gk2}{{7.3.4}{142}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{theorem.7.3.4}{}}
\newlabel{lemma:gk3}{{7.3.5}{142}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{theorem.7.3.5}{}}
\newlabel{lemma:gk4}{{7.3.6}{142}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{theorem.7.3.6}{}}
\newlabel{eq:decomposition of V}{{7.3.7}{142}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{equation.7.3.7}{}}
\newlabel{lemma:gk5}{{7.3.7}{143}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{theorem.7.3.7}{}}
\newlabel{prop:R satistfies R1}{{7.3.8}{143}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{theorem.7.3.8}{}}
\newlabel{eq:first form}{{7.3.8}{143}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{equation.7.3.8}{}}
\newlabel{eq:second form}{{7.3.9}{143}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{equation.7.3.9}{}}
\citation{Abert}
\newlabel{prop:R satistfies R2}{{7.3.9}{144}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{theorem.7.3.9}{}}
\newlabel{eq:expansion}{{7.3.10}{144}{Construction of the algebra $R$ used in Subsection~\ref {rings without finite identity basis}\relax }{equation.7.3.10}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.3.3}{Metabelian groups}}{144}{subsection.7.3.3}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7.4}{Groups and identities, Ab\'ert's criterium}}{145}{section.7.4}}
\@writefile{brf}{\backcite{Abert}{{145}{7.4}{section.7.4}}}
\newlabel{th:abert}{{7.4.1}{145}{Groups and identities, Ab\'ert's criterium\relax }{theorem.7.4.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.5}{\ignorespaces Operations on diagrams}}{146}{figure.7.5}}
\newlabel{fig:op}{{7.5}{146}{Operations on diagrams\relax }{figure.7.5}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7.5}{Groups and rewriting systems}}{146}{section.7.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.5.1}{Diagrams as 2-dimensional words, diagram groups}}{146}{subsection.7.5.1}}
\newlabel{def:diag1}{{7.5.1}{146}{Diagrams as 2-dimensional words, diagram groups\relax }{theorem.7.5.1}{}}
\newlabel{def:diag2}{{7.5.2}{147}{Diagrams as 2-dimensional words, diagram groups\relax }{theorem.7.5.2}{}}
\newlabel{ex:diag}{{7.5.4}{147}{Diagrams as 2-dimensional words, diagram groups\relax }{theorem.7.5.4}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.5.2}{The R.Thompson group $F$}}{147}{subsection.7.5.2}}
\newlabel{eq:F0}{{7.5.1}{148}{The R.Thompson group $F$\relax }{equation.7.5.1}{}}
\newlabel{th:Thompson}{{7.5.7}{148}{The R.Thompson group $F$\relax }{theorem.7.5.7}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.6}{\ignorespaces The Squier complex for $\delimiter "426830A \tmspace  +\thinmuskip {.1667em}x \mid x=x^2\tmspace  +\thinmuskip {.1667em}\delimiter "526930B $.}}{148}{figure.7.6}}
\newlabel{fig:F0}{{7.6}{148}{The Squier complex for $\la x \mid x=x^2\ra $}{figure.7.6}{}}
\newlabel{ex:F0}{{7.5.8}{148}{The R.Thompson group $F$\relax }{theorem.7.5.8}{}}
\newlabel{eq:F8}{{7.5.2}{148}{The R.Thompson group $F$\relax }{equation.7.5.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.7}{\ignorespaces Generators of the R. Thompson group $F$}}{148}{figure.7.7}}
\newlabel{fig:gen}{{7.7}{148}{Generators of the R. Thompson group $F$\relax }{figure.7.7}{}}
\citation{GSdu}
\@writefile{brf}{\backcite{GSdu}{{149}{7.5.2}{theorem.7.5.9}}}
\newlabel{ex:F6}{{7.5.10}{149}{The R.Thompson group $F$\relax }{theorem.7.5.10}{}}
\newlabel{ex:F3}{{7.5.11}{149}{The R.Thompson group $F$\relax }{theorem.7.5.11}{}}
\newlabel{ex:F10}{{7.5.12}{150}{The R.Thompson group $F$\relax }{theorem.7.5.12}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.5.3}{Further properties of the Thompson group}}{150}{subsection.7.5.3}}
\newlabel{th:Fid}{{7.5.13}{150}{Further properties of the Thompson group\relax }{theorem.7.5.13}{}}
\newlabel{th:Ffree}{{7.5.15}{150}{Further properties of the Thompson group\relax }{theorem.7.5.15}{}}
\newlabel{ex:F11}{{7.5.16}{151}{Further properties of the Thompson group\relax }{theorem.7.5.16}{}}
\newlabel{th:normal forms}{{7.5.17}{151}{Further properties of the Thompson group\relax }{theorem.7.5.17}{}}
\newlabel{th:normal forms1}{{7.5.18}{151}{Further properties of the Thompson group\relax }{theorem.7.5.18}{}}
\citation{CFP}
\citation{CFP}
\citation{GSFandotherdg}
\@writefile{brf}{\backcite{CFP}{{152}{7.5.3}{theorem.7.5.20}}}
\newlabel{rk:Fregular}{{7.5.22}{152}{Further properties of the Thompson group\relax }{theorem.7.5.22}{}}
\@writefile{brf}{\backcite{CFP}{{152}{7.5.3}{theorem.7.5.23}}}
\@writefile{brf}{\backcite{GSFandotherdg}{{152}{7.5.3}{theorem.7.5.23}}}
\bibcite{Abert}{1}
\bibcite{Adian:1970}{2}
\bibcite{Adi}{3}
\bibcite{Adler&Goodwyn&Weiss:1977}{4}
\bibcite{Adler&Marcus:1979}{5}
\bibcite{Adler&Weiss:1970}{6}
\bibcite{AdLi}{7}
\bibcite{Wedd2}{8}
\bibcite{Anick}{9}
\bibcite{Ar37}{10}
\bibcite{Ananichev&Gusev&Volkov:2010}{11}
\bibcite{Baer43}{12}
\bibcite{BMW}{13}
\bibcite{BMW1}{14}
\bibcite{BO1}{15}
\bibcite{Beal&Perrin:2008}{16}
\bibcite{BEM}{17}
\bibcite{Belov}{18}
\bibcite{Belov:1999}{19}
\bibcite{Belov:2000}{20}
\bibcite{BST}{21}
\bibcite{Ber79b}{22}
\bibcite{Ber79a}{23}
\bibcite{Berstel&Perrin&Reutenauer:2009}{24}
\bibcite{Br}{25}
\bibcite{Brown}{26}
\bibcite{Bryant}{27}
\bibcite{Burnside}{28}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Bibliography}}{153}{theorem.7.5.23}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\bibcite{CFP}{29}
\bibcite{Capocelli&Gargano&Vaccaro:1988}{30}
\bibcite{Carpi&D'Alessandro:2010}{31}
\bibcite{CO}{32}
\bibcite{Cerny:1964}{33}
\bibcite{Cerny&Piricka&Rosenauerova:1971}{34}
\bibcite{ChR36}{35}
\bibcite{CP}{36}
\bibcite{Cohen}{37}
\bibcite{CS66}{38}
\bibcite{Cro82}{39}
\bibcite{Culik&Karhumaki&Kari:2002}{40}
\bibcite{Dekking:1978}{41}
\bibcite{DV1}{42}
\bibcite{DuI}{43}
\bibcite{Dulmage&Mendelson:1964}{44}
\bibcite{FW}{45}
\bibcite{Frankl:1982}{46}
\bibcite{Fu81}{47}
\bibcite{Ginsburg:1958}{48}
\bibcite{Golod}{49}
\bibcite{GSh}{50}
\bibcite{GH}{51}
\bibcite{Grishin:1999}{52}
\bibcite{Grishin:2000}{53}
\bibcite{Groves}{54}
\bibcite{DG}{55}
\bibcite{GSFnorm}{56}
\bibcite{GSsub}{57}
\bibcite{GSdc}{58}
\bibcite{GSdu}{59}
\bibcite{Gupta&Krasilnikov:2002}{60}
\bibcite{MHall}{61}
\bibcite{NumTh}{62}
\bibcite{HM38}{63}
\bibcite{Wedd1}{64}
\bibcite{Hig}{65}
\bibcite{Iv93}{66}
\bibcite{IO}{67}
\bibcite{Kaplansky}{68}
\bibcite{Kuzmin}{69}
\bibcite{LS}{70}
\bibcite{SJ}{71}
\bibcite{Ja56}{72}
\bibcite{Wedd3}{73}
\bibcite{KR}{74}
\bibcite{Kemer:1987}{75}
\bibcite{Kemer:1991}{76}
\bibcite{KharSap}{77}
\bibcite{Kleiman1}{78}
\bibcite{Kleiman2}{79}
\bibcite{KoNe66}{80}
\bibcite{Kruse}{81}
\bibcite{Latyshev}{82}
\bibcite{Mav}{83}
\bibcite{LeSm}{84}
\bibcite{Levitzki51}{85}
\bibcite{Lewin67}{86}
\bibcite{Lind&Marcus:1995}{87}
\bibcite{Lif}{88}
\bibcite{Loth}{89}
\bibcite{Lv73}{90}
\bibcite{Lyndon}{91}
\bibcite{Lys}{92}
\bibcite{Malcev}{93}
\bibcite{Mash}{94}
\bibcite{McCoy49}{95}
\bibcite{McK}{96}
\bibcite{McNSh}{97}
\bibcite{Moore:1956}{98}
\bibcite{Murskii}{99}
\bibcite{Nath}{100}
\bibcite{Ne67}{101}
\bibcite{Newman71}{102}
\bibcite{New43}{103}
\bibcite{OaPo64}{104}
\bibcite{Ok}{105}
\bibcite{Olsh:1970}{106}
\bibcite{Ol89}{107}
\bibcite{Olsh}{108}
\bibcite{Perrin&Schutzenberger:1992}{109}
\bibcite{Pin:1983}{110}
\bibcite{Prou}{111}
\bibcite{PytheasFogg:2002}{112}
\bibcite{RamirezAlfonsin:2005}{113}
\bibcite{Razmyslov}{114}
\bibcite{Sal81}{115}
\bibcite{Sandberg:2005}{116}
\bibcite{Sanov}{117}
\bibcite{Sa87a}{118}
\bibcite{Sa87b}{119}
\bibcite{Sa90c}{120}
\bibcite{Schutzenberger:1967}{121}
\bibcite{Shal}{122}
\bibcite{Shchigolev:1999}{123}
\bibcite{Shchigolev:2000}{124}
\bibcite{P26}{125}
\bibcite{shevrin}{126}
\bibcite{ShV85}{127}
\bibcite{Shirshov1}{128}
\bibcite{Shirshov2}{129}
\bibcite{Shirshov3}{130}
\bibcite{Specht:1950}{131}
\bibcite{Squier}{132}
\bibcite{Starke:1966}{133}
\bibcite{Steinberg:2010archive}{134}
\bibcite{ST-Z}{135}
\bibcite{Schwarz}{136}
\bibcite{Thue06}{137}
\bibcite{Th}{138}
\bibcite{Trakh}{139}
\bibcite{Trahtman:2009}{140}
\bibcite{Ufn}{141}
\bibcite{Ufn1}{142}
\bibcite{Vaughan-Lee:1970}{143}
\bibcite{Lee}{144}
\bibcite{Volkov:2008}{145}
\bibcite{Wedd}{146}
\bibcite{Wielandt:1950}{147}
\bibcite{Ze90}{148}
\bibcite{Ze91}{149}
\bibcite{Ze93}{150}
\bibcite{Zim79}{151}
\bibcite{Zim82}{152}
\@LN@col{1}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{}{Index}}{159}{chapter*.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@LN@col{2}
\@LN@col{1}
\@LN@col{2}
\@LN@col{1}
\@LN@col{2}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{62.0805pt}
\newlabel{tocindent1}{27.98338pt}
\newlabel{tocindent2}{41.97472pt}
\newlabel{tocindent3}{47.01169pt}
